Alastair F. Donaldson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Termination analysis for GPU kernels

Ketema, Jeroen, Donaldson, Alastair F.

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 922 KB

english, 2017

2

Automatic verification of active device drivers

Amani, Sidney, Chubb, Peter, Donaldson, Alastair F., Legg, Alexander, Ong, Keng Chai, Ryzhyk, Leonid, Zhu, Yanjin

Journal:

ACM SIGOPS Operating Systems Review

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

3

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)

Donaldson, Alastair, Vasconcelos, Vasco T.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 123 KB

english, 2015

4

[IEEE 2015 International Conference on Parallel Architecture and Compilation (PACT) - San Francisco, CA, USA (2015.10.18-2015.10.21)] 2015 International Conference on Parallel Architecture and Compilation (PACT) - PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming

Baghdadi, Riyadh, Beaugnon, Ulysse, Cohen, Albert, Grosser, Tobias, Kruse, Michael, Reddy, Chandan, Verdoolaege, Sven, Betts, Adam, Donaldson, Alastair F., Ketema, Jeroen, Absar, Javed, Haastregt, Sve

Year:

2015

Language:

english

File:

PDF, 239 KB

english, 2015

5

Effects of Pseudoephedrine on Maximal Cycling Power and Submaximal Cycling Efficiency

H. HODGES, ALASTAIR N., LYNN, BRENNA M., BULA, JONATHAN E., DONALDSON, MEGHAN G., DAGENAIS, MARC O., MCKENZIE, DONALD C.

Journal:

Medicine & Science in Sports & Exercise

Year:

2003

Language:

english

File:

PDF, 106 KB

english, 2003

6

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Just fuzz it: solving floating-point constraints using coverage-guided fuzzing

Liew, Daniel, Cadar, Cristian, Donaldson, Alastair F., Stinnett, J. Ryan

Year:

2019

Language:

english

File:

PDF, 809 KB

english, 2019

7

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)

Deligiannis, Pantazis, Donaldson, Alastair F., Rakamaric, Zvonimir

Year:

2015

Language:

english

File:

PDF, 303 KB

english, 2015

8

Automated testing of graphics shader compilers

Donaldson, Alastair F., Evrard, Hugues, Lascu, Andrei, Thomson, Paul

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017

9

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - GPUVerify

Betts, Adam, Chong, Nathan, Donaldson, Alastair, Qadeer, Shaz, Thomson, Paul

Year:

2012

Language:

english

File:

PDF, 901 KB

english, 2012

10

Implementing and Evaluating Candidate-Based Invariant Generation

Betts, Adam, Chong, Nathan, Donaldson, Alastair, Deligiannis, Pantazis, Ketema, Jeroen

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 2.02 MB

english, 2017

11

[ACM Press the International Workshop - Boston, MA, USA (2019.05.13-2019.05.15)] Proceedings of the International Workshop on OpenCL - IWOCL'19 - Performance Evaluation of OpenCL Standard Support (and Beyond)

Sorensen, Tyler, Pai, Sreepathi, Donaldson, Alastair F.

Year:

2019

Language:

english

File:

PDF, 404 KB

english, 2019

12

[IEEE 2013 25th Euromicro Conference on Real-Time Systems (ECRTS) - Los Alamitos, CA, USA (2013.07.9-2013.07.12)] 2013 25th Euromicro Conference on Real-Time Systems - Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis

Betts, Adam, Donaldson, Alastair

Year:

2013

Language:

english

File:

PDF, 472 KB

english, 2013

13

[IEEE 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Montreal, QC, Canada (2019.5.26-2019.5.26)] 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Metamorphic Testing of Android Graphics Drivers

Donaldson, Alastair F.

Year:

2019

File:

PDF, 4.29 MB

2019

14

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models

Alastair Donaldson, Alice Miller, Muffy Calder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

15

Dynamic race detection for C++11

Lidbury, Christopher, Donaldson, Alastair F.

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 334 KB

english, 2017

16

Effects of season and sample handling on measurement of plasma -melanocyte-stimulating hormone concentrations in horses and ponies

McFarlane, Dianne, Donaldson, Mark T., McDonnell, Sue M., Cribb, Alastair E.

Journal:

American Journal of Veterinary Research

Year:

2004

Language:

english

File:

PDF, 285 KB

english, 2004

17

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Sparse record and replay with controlled scheduling

Lidbury, Christopher, Donaldson, Alastair F.

Year:

2019

Language:

english

File:

PDF, 843 KB

english, 2019

18

[ACM Press the 20th ACM SIGPLAN Symposium - San Francisco, CA, USA (2015.02.07-2015.02.11)] Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2015 - The lazy happens-before relation: better partial-order reduction for systematic concurrency testing

Thomson, Paul, Donaldson, Alastair F.

Year:

2015

Language:

english

File:

PDF, 516 KB

english, 2015

19

[ACM Press the Twentieth International Conference - Istanbul, Turkey (2015.03.14-2015.03.18)] Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '15 - GPU Concurrency

Alglave, Jade, Batty, Mark, Donaldson, Alastair F., Gopalakrishnan, Ganesh, Ketema, Jeroen, Poetzl, Daniel, Sorensen, Tyler, Wickerson, John

Year:

2015

Language:

english

File:

PDF, 722 KB

english, 2015

20

[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Symbooglix: A Symbolic Execution Engine for Boogie Programs

Liew, Daniel, Cadar, Cristian, Donaldson, Alastair F.

Year:

2016

Language:

english

File:

PDF, 324 KB

english, 2016

21

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis

Alastair F. Donaldson, Alice Miller, Muffy Calder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 309 KB

english, 2005

22

Automatic safety proofs for asynchronous memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

23

Type inference and strong static type checking for Promela

Alastair F. Donaldson, Simon J. Gay

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 750 KB

english, 2010

24

Counterexample-guided abstraction refinement for symmetric concurrent programs

Donaldson, Alastair F., Kaiser, Alexander, Kroening, Daniel, Tautschnig, Michael, Wahl, Thomas

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 707 KB

english, 2012

25

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A sound and complete abstraction for reasoning about parallel prefix sums

Chong, Nathan, Donaldson, Alastair F., Ketema, Jeroen

Year:

2014

Language:

english

File:

PDF, 826 KB

english, 2014

26

Automatic analysis of DMA races using model checking andk-induction

Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.30 MB

english, 2011

27

[IEEE 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Sydney, Australia (2020.4.21-2020.4.24)] 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Slow and Steady: Measuring and Tuning Multicore Interference

Iorga, Dan, Sorensen, Tyler, Wickerson, John, Donaldson, Alastair F.

Year:

2020

File:

PDF, 3.88 MB

2020

28

Extending Symmetry Reduction Techniques to a Realistic Model of Computation

Alastair F. Donaldson, Alice Miller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 329 KB

english, 2007

29

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 395 KB

english, 2012

30

Replication and Abstraction: Symmetry in Automated Formal Verification

Wahl, Thomas, Donaldson, Alastair

Journal:

Year:

2010

Language:

english

File:

PDF, 552 KB

english, 2010

31

Barrier invariants

Chong, Nathan, Donaldson, Alastair F., Kelly, Paul H.J., Ketema, Jeroen, Qadeer, Shaz

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 1015 KB

english, 2013

32

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || McPatom: A Predictive Analysis Tool for Atomicity Violation Using Model Checking

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 317 KB

english, 2012

33

[ACM Press the 2011 ACM SIGPLAN Workshop - San Jose, California (2011.06.05-2011.06.05)] Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '11 - The impact of diverse memory architectures on multicore consumer software

Russel, George, Riley, Colin, Henning, Neil, Dolinsky, Uwe, Richards, Andrew, Donaldson, Alastair F., van Amesfoort, Alexander S.

Year:

2011

Language:

english

File:

PDF, 151 KB

english, 2011

34

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Concurrency testing using schedule bounding

Thomson, Paul, Donaldson, Alastair F., Betts, Adam

Year:

2014

Language:

english

File:

PDF, 646 KB

english, 2014

35

SCRATCH

Donaldson, Alastair F., Kroening, Daniel, Ruemmer, Philipp

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

36

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Floating-point symbolic execution: A case study in N-version programming

Liew, Daniel, Schemmel, Daniel, Cadar, Cristian, Donaldson, Alastair F., Zahl, Rafael, Wehrle, Klaus

Year:

2017

Language:

english

File:

PDF, 296 KB

english, 2017

37

On the constructive orbit problem

Alastair F. Donaldson, Alice Miller

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 633 KB

english, 2009

38

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 ||

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 212 KB

english, 2012

39

Concurrency Testing Using Controlled Schedulers

Thomson, Paul, Donaldson, Alastair F., Betts, Adam

Journal:

ACM Transactions on Parallel Computing

Year:

2016

Language:

english

File:

PDF, 1.55 MB

english, 2016

40

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Many-core compiler fuzzing

Lidbury, Christopher, Lascu, Andrei, Chong, Nathan, Donaldson, Alastair F.

Year:

2015

Language:

english

File:

PDF, 400 KB

english, 2015

41

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Cooperative kernels: GPU multitasking for blocking algorithms

Sorensen, Tyler, Evrard, Hugues, Donaldson, Alastair F.

Year:

2017

Language:

english

File:

PDF, 749 KB

english, 2017

42

Vector Symmetry Reduction

Alastair F. Donaldson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 318 KB

english, 2009

43

Rotational thrombolelastometry produces potentially clinical useful results within 10 min in bleeding Emergency Department patients

Reed, Matthew J., Nimmo, Alastair F., McGee, Danny, Manson, Lynn, Neffendorf, Alice E., Moir, Linzi, Donaldson, Lucienne S.

Journal:

European Journal of Emergency Medicine

Year:

2013

Language:

english

File:

PDF, 503 KB

english, 2013

44

[ACM Press the 16th ACM symposium - San Antonio, TX, USA (2011.02.12-2011.02.16)] Proceedings of the 16th ACM symposium on Principles and practice of parallel programming - PPoPP '11 - SCRATCH

Donaldson, Alastair F., Kroening, Daniel, Ruemmer, Philipp

Year:

2011

Language:

english

File:

PDF, 293 KB

english, 2011

45

[ACM Press the 1st International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16 - Metamorphic testing for (graphics) compilers

Donaldson, Alastair F., Lascu, Andrei

Year:

2016

Language:

english

File:

PDF, 391 KB

english, 2016

46

Genetic Evidence for Interaction of the 5q31 Cytokine Locus and the CARD15 Gene in Crohn Disease

Muddassar M. Mirza, Sheila A. Fisher, Kathy King, Andrew P. Cuthbert, Jochen Hampe, Jeremy Sanderson, John Mansfield, Peter Donaldson, J.S. Andrew Macpherson, Alastair Forbes, Stefan Schreiber, M. Cat

Journal:

The American Journal of Human Genetics

Year:

2003

Language:

english

File:

PDF, 334 KB

english, 2003

47

[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Parameterized Model Checking of Fine Grained Concurrency

Donaldson, Alastair, Parker, David

Year:

2012

Language:

english

File:

PDF, 265 KB

english, 2012

48

The lazy happens-before relation: better partial-order reduction for systematic concurrency testing

Thomson, Paul, Donaldson, Alastair F.

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 516 KB

english, 2015

49

The Design and Implementation of a Verification Technique for GPU Kernels

Betts, Adam, Chong, Nathan, Donaldson, Alastair F., Ketema, Jeroen, Qadeer, Shaz, Thomson, Paul, Wickerson, John

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2015

Language:

english

File:

PDF, 1.78 MB

english, 2015

50

[ACM Press the 4th International Workshop - Vienna, Austria (2016.04.19-2016.04.21)] Proceedings of the 4th International Workshop on OpenCL - IWOCL '16 - Automatic Test Case Reduction for OpenCL

Pflanzer, Moritz, Donaldson, Alastair F., Lascu, Andrei

Year:

2016

Language:

english

File:

PDF, 417 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски